منابع مشابه
Dual Bck - Algebra and Mv - Algebra
The aim of this paper is to study the properties of dual BCK-algebra and to prove that the MV -algebra is equvalent to the bounded commutative dual BCK-algebra.
متن کاملFuzzy Filter Spectrum of a BCK Algebra
The notion of fuzzy s-prime filters of a bounded BCK-algebra is introduced.We discuss the relation between fuzzy s-prime filters and fuzzy prime filters. By the fuzzy s-prime filters of a bounded commutative BCK-algebra X, we establish a fuzzy topological structure on X. We prove that the set of all fuzzy s-prime filters of a bounded commutative BCK-algebra forms a topological space. Moreover, ...
متن کاملSOME QUOTIENTS ON A BCK-ALGEBRA GENERATED BY A FUZZY SET
First we show that the cosets of a fuzzy ideal μ in a BCK-algebraX form another BCK-algebra X/μ (called the fuzzy quotient BCK-algebra of X by μ). Also we show thatX/μ is a fuzzy partition of X and we prove several some isomorphism theorems. Moreover we prove that if the associated fuzzy similarity relation of a fuzzy partition P of a commutative BCK-algebra iscompatible, then P is a fuzzy quo...
متن کاملs-Topological vector spaces
In this paper, we have dened and studied a generalized form of topological vector spaces called s-topological vector spaces. s-topological vector spaces are dened by using semi-open sets and semi-continuity in the sense of Levine. Along with other results, it is proved that every s-topological vector space is generalized homogeneous space. Every open subspace of an s-topological vector space is...
متن کاملSafe recursion with higher types and BCK-algebra
In previous work the author has introduced a lambda calculus SLR with modal and linear types which serves as an extension of Bellantoni–Cook’s function algebra BC to higher types. It is a step towards a functional programming language in which all programs run in polynomial time. In this paper we develop a semantics of SLR using BCK-algebras consisting of certain polynomial-time algorithms. It ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Duhok University
سال: 2020
ISSN: 1812-7568,2521-4861
DOI: 10.26682/csjuod.2020.23.1.21